Meta-mathematical rhetoric: Hero and Ptolemy against the philosophers

The Hero and the

Many entrepreneurial successes are attributed to the strong personalities of the new venture leaders, who offer vision, inspire loyalty, and display tenacity in solving problems to achieve their goals. Successful start-up ventures may bias perceptions of the anecdotal benefits of personality-driven leadership in firms too young to have established processes, operationally and organizationally. ...

Mathematicians Versus Philosophers in Recent Work on Mathematical Beauty

Augustine and the Philosophers

Because of the immensity of Augustine’s corpus and the complex intellectual patrimony that informs it, attempts to place him within the history of philosophical traditions are often partial and in need of supplementation. In treating below of Augustine’s engagement with Aristotelianism, Middle Platonism, Neoplatonism, and Stoicism, I shall be drawing attention to particular topics, lexical poin...

Mathematical Structures in Computer Science a Modular Formal Semantics for Ptolemy a Modular Formal Semantics for Ptolemy †

Ptolemy ‡ is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified w...

The Philosophers ' Process

The Philosophers' Process is a Markovian version of the famous Dining Philosophers Problem introduced by Dijkstra as a model for resource sharing. It can be viewed as a reversible interacting particle system. This paper deals with the problem of computing its reversible measure in the case of a large but nite number of sites. This equilibrium measure is a Markov eld on the underlying graph of i...